Computer algebra systems - PDFSEARCH.IO - Document Search Engine

Computer algebra systems
Results: 620

#	Item
151	38 c W.C Carter MITFall 2012 Lecture 2 Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-09-05 10:01:26 Computer algebra systems Cross-platform software Array programming languages Mathematica Numerical software Function Sage Calculus Algorithm Mathematical software Software Mathematics
152	A FRAMEWORK FOR REPRESENTING AND PROCESSING ARBITRARY MATHEMATICS Arnold Neumaier and Peter Schodl Fakult¨at f¨ur Mathematik, University of Vienna,Nordbergstr. 15, A-1090 Wien, Austria Keywords: Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2011-05-11 10:42:47 Operations research Computer algebra systems Scientific modeling Mathematical optimization Mathematical modeling Mathematics Semantic memory AMPL Modeling language Mathematical software Science Computing
153	Cellular Automata as Algebraic Systems Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:18 Combinatory logic Lambda calculus Logic in computer science Group action Groupoid Abstract algebra Mathematics Algebra
154	MITFallLecture 2 c W.C Carter Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2009-06-08 11:32:25 Computer algebra systems Cross-platform software Array programming languages Mathematica Numerical software Function Sage Calculus Algorithm Mathematical software Software Mathematics
155	Getting Started with the TI-Nspire™ CX/ TI-Nspire™ CX CAS Handheld This guidebook applies to TI-Nspire™ software version 3.2. To obtain the Add to Reading List Source URL: www.technotronics.in.th Language: English - Date: 2013-11-27 10:25:04 Technology Computing Classes of computers Comparison of Texas Instruments graphing calculators TI-81 Graphing calculators Computer algebra systems TI-Nspire series
156	56 c W.C Carter MITFall 2012 Lecture 4 Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-09-05 10:03:10 Computer algebra systems Cross-platform software Mathematica Numerical software Wolfram Research Number Function Exponentiation Polynomial Mathematics Mathematical software Science
157	Using Space-lling Curves for Multi-dimensional Indexing J K Lawder and P J H King School of Computer Science and Information Systems, Birkbeck College, University of London, Malet Street, London WC1E 7HX, United Kingdom Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2000-12-01 11:13:09 Fractal curves Curves R-tree General topology Abstract algebra Space-filling curve Hilbert curve Dimension Singular point of a curve Mathematics Geometry Topology
158	APPLICATIONS OF LATTICES TO COMPUTER SECURITY Catherine Meadows Code 5543 Center for High Assurance Computer Systems US Naval Research Laboratory Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2003-07-15 08:50:39 Algebraic groups Lattice Lattice theory Œ Information flow Abstract algebra Lie groups Algebra
159	Behavioral Verification of Distributed Concurrent Systems with BOBJ Joseph Goguen Dept. Computer Science & Engineering University of California at San Diego Abstract Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2005-07-09 15:47:18 Algebraic structures Group theory Module Congruence relation Subalgebra Group action Monad Abstract algebra Mathematics Algebra
160	VCE EXAMS NAVIGATOR 2014 STUDENT INFORMATION AND TIMETABLE This booklet contains information on: • Approved materials and equipment • Examination rules Add to Reading List Source URL: www.bssc.edu.au Language: English - Date: 2014-10-26 22:43:55 Technology Education Mathematics TI-89 series Victorian Curriculum and Assessment Authority Calculator TI-92 series TI-84 Plus series Software calculator Graphing calculators Programmable calculators Computer algebra systems

UPDATE